COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%elepha.sli[e89,jmc][e89,jmc]	Elephant 2000 airline program
C00003 ENDMK
C⊗;
%elepha.sli[e89,jmc][e89,jmc]	Elephant 2000 airline program
\input slide2.tex[1,jmc]
\bigskip
\bigskip
% suppresses vertical bars
\overfullrule=0pt
\centerline{ELEPHANT 2000 AIRLINE RESERVATION PROGRAM}
\bigskip
$${\bf if} ¬full flt {\bf then} accept.request commit admit(psgr,flt)$$
%
$$answer.query committed admit(psgr,flt)$$
%
$$accept.request decommit admit(psgr,flt)$$
%
$$\eqalign{if now = time {\bf then} flt& ∧ committed admit(psgr,flt)\cr
&{\bf then} accept.request admit(psgr,flt)\cr}$$
%
$$full flt ≡ card\{psgr | committed admit(psgr,flt)\} = capacity flt$$
\vfill\end
\vfill\end